Control predicates are better than dummy variables for reasoning about program control

Are Two Motor-Control Systems Better Than One?

Are Two Motor-Control Systems Better Than One? Kyle Reed, Michael Peshkin, Mitra J. Hartmann, Marcia Grabowecky, James Patton, and Peter M. Vishton Department of Mechanical Engineering, Northwestern University; Department of Biomedical Engineering, Northwestern University; Department of Psychology, Northwestern University; Rehabilitation Institute of Chicago, Chicago, Illinois; and Department o...

Program Variables – The Core of Mechanical Reasoning about Imperative Programs

Imperative programming languages are widely used in practice in most of the software development projects. Examples of such languages include C, C++, C#, Java, Pascal, and many more. This thesis is concerned with reasoning about imperative programs. We study both refinement (the construction of correct programs starting from specifications) and correctness (an already written program is proved ...

Neuro-fuzzy Control Is Sometimes Better than Crisp Control

The objective of this work is to present some results concerning the neuro-fuzzy control synthesis as applied to electrohydraulic servomechanisms actuating primary flight controls. This represents a remarkable control strategy, with antisaturating and antichattering properties, which is in fact independent of mathematical model of the system, thus achieving certain robustness and reducing compl...

Border Disease Control Checkpoints: Are They Sufficient for Disease Control? The Present Situation in Thailand

Are Elephants Bigger than Butterflies? Reasoning about Sizes of Objects

Human vision greatly benefits from the information about sizes of objects. The role of size in several visual reasoning tasks has been thoroughly explored in human perception and cognition. However, the impact of the information about sizes of objects is yet to be determined in AI. We postulate that this is mainly attributed to the lack of a comprehensive repository of size information. In this...